Recursive surreal numbersHARKLEROAD, L.Notre Dame journal of formal logic. 1990, Vol 31, Num 3, pp 337-345, issn 0029-4527, 9 p.Article

RNC'5 : real numbers and computers (Lyon, 3-5 September 2003)Daumas, Marc; Villard, Gilles; Boyer, Sylvie et al.Real numbers and computers. Conference. 2003, isbn 2-7261-1260-9, 260 p., isbn 2-7261-1260-9Conference Proceedings

Ordering by auto-expansionsYA YAN LU.Advances in applied mathematics (Print). 1991, Vol 12, Num 1, pp 106-112, issn 0196-8858, 7 p.Article

Non-recursiveness of the operations on real numbersSKANDALIS, K.Theoretical computer science. 1990, Vol 71, Num 3, pp 425-429, issn 0304-3975, 5 p.Article

Partitions of reals : measurable approachPLEWIK, S; VOIGT, B.Journal of combinatorial theory. Series A. 1991, Vol 58, Num 1, pp 136-140, issn 0097-3165, 5 p.Article

Extension of the two-variable Pierce-Birkhoff conjecture to generalized polynomialsDELZELL, Charles N.Annales de la faculté des sciences de Toulouse. 2010, Vol 19, pp 37-56, issn 0240-2963, 20 p., NSArticle

Understanding Software Complexity Issues in Software Engineering CoursesSTEELE, Stuart; YIP, Keni.Frontiers in education : computer science & computer engineering. International conferenceWorldComp'2011. 2011, pp 42-47, isbn 1-60132-180-5, 6 p.Conference Paper

Comparing functional paradigms for exact real-number computationBAUER, Andrej; ESCARDO, Martin Hötzel; SIMPSON, Alex et al.Lecture notes in computer science. 2002, pp 488-500, issn 0302-9743, isbn 3-540-43864-5, 13 p.Conference Paper

Characterization of the computable real numbers by means of primitive recursive functionsSKORDEV, Dimiter.Lecture notes in computer science. 2001, pp 296-309, issn 0302-9743, isbn 3-540-42197-1Conference Paper

A banach-mazur computable but not markov computable function on the computable real numbers: (Extended abstract)HERTLING, Peter.Lecture notes in computer science. 2002, pp 962-972, issn 0302-9743, isbn 3-540-43864-5, 11 p.Conference Paper

Exact real arithmetic systems: Results of competitionBLANCK, Jens.Lecture notes in computer science. 2001, pp 389-393, issn 0302-9743, isbn 3-540-42197-1Conference Paper

Remark on a refinement of the cauchy-schwarz inequalityLIU ZHENG.Journal of mathematical analysis and applications. 1998, Vol 218, Num 1, pp 13-21, issn 0022-247XArticle

Exact real computer arithmetic with continued fractions; Arithmétique réelle exacte par les fractions continuesVUILLEMIN, Jean.Rapports de recherche - INRIA. 1987, Vol 760, issn 0249-6399, 41 p.Report

A SUM-DIVISION ESTIMATE OF REALSLIANGPAN LI; JIAN SHEN; ONO, Ken et al.Proceedings of the American Mathematical Society. 2010, Vol 138, Num 1, pp 101-104, issn 0002-9939, 4 p.Article

Finding a weight-constrained maximum-density subtree in a treeHSIEH, Sun-Yuan; CHOU, Ting-Yu.Lecture notes in computer science. 2005, pp 944-953, issn 0302-9743, isbn 3-540-30935-7, 1Vol, 10 p.Conference Paper

Ershov's hierarchy of real numbersXIZHONG ZHENG; RETTINGER, Robert; GENGLER, Romain et al.Lecture notes in computer science. 2003, pp 681-690, issn 0302-9743, isbn 3-540-40671-9, 10 p.Conference Paper

Randomness and reducibilityDOWNEY, Rod G; HIRSCHFELDT, Denis R; LAFORTE, Geoff et al.Lecture notes in computer science. 2001, pp 316-327, issn 0302-9743, isbn 3-540-42496-2Conference Paper

Infinite sum on the fuzzy real lineGEPING WANG.Fuzzy sets and systems. 1998, Vol 98, Num 2, pp 241-248, issn 0165-0114Article

A property of the spectra of non-Pisot numbersZAÏMI, Toufik.Comptes rendus. Mathématique. 2010, Vol 348, Num 3-4, pp 121-124, issn 1631-073X, 4 p.Article

Almost decidable predicates of real variablesQING ZHOU; WEIHAO HU.Real numbers and computers. Conference. 2003, pp 31-45, isbn 2-7261-1260-9, 15 p.Conference Paper

Solving a system of difference constraints with variables restricted to a finite setFISHBURN, John P.Information processing letters. 2002, Vol 82, Num 3, pp 143-144, issn 0020-0190Article

A tour with constructive real numbersCIAFFAGLIONE, Alberto; DI GIANANTONIO, Pietro.Lecture notes in computer science. 2002, pp 41-52, issn 0302-9743, isbn 3-540-43287-6Conference Paper

Counting problems over the realsMEER, K.Theoretical computer science. 2000, Vol 242, Num 1-2, pp 41-58, issn 0304-3975Article

On Mathieu's inequalityALZER, H; BRENNER, J. L; RUEHR, O. G et al.Journal of mathematical analysis and applications. 1998, Vol 218, Num 2, pp 607-610, issn 0022-247XArticle

A refinement of the Cauchy-Schwarz inequalityALZER, H.Journal of mathematical analysis and applications. 1992, Vol 168, Num 2, pp 596-604, issn 0022-247XArticle